"Bob Carpenter" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science, Volume 32)

Автор: Bob Carpenter

Размер книги: 1.58 Mb

Type-Logical Semantics

Автор: Bob Carpenter

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

Размер книги: 5.10 Mb